Inhalt des Dokuments

Aktuell

Artikel „A Game for Linear-time–Branching-time Spectroscopy“ erschienen

Montag, 29. März 2021

Der „A Game for Linear-time–Branching-time Spectroscopy“ von Benjamin Bisping (und Uwe Nestmann) ist bei TACAS 2021 (LNCS 12651) als Open-Access-Artikel erschienen: https://link.springer.com/chapter/10.1007/978-3-030-72016-2_1

---